Gravar-mail: Peptidic HIV integrase inhibitors derived from HIV gene products: structure-activity relationship studies