Effective recognition of HIV-1-infected cells by HIV-1 integrase-specific HLA-B∗4002-restricted T cells.