Cytotoxic T-cell recognition of HIV proteins and peptides.