Isolation of HIV-1-specific cytotoxic T lymphocytes using human leukocyte antigen-coated beads