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