Alloactivacted cytotoxic T cells recognize the carboxy terminal domain of HIV-1 gp120 envelope glycoprotein