Isolated peptides comprising sequences derived from the protein integrase of HIV-1, as well as their analogs, mixtures, conjugates with permeability enhancing moieties, and pharmaceutical compositions are disclosed. The peptides and compositions are capable of selectively killing HIV-1 infected cells and are used in treatment of HIV infection and AIDS.