A comparative study of backbone versus side chain peptide cyclization: Application for HIV-1 integrase inhibitors