Mechanisms of recognition of HIV-infected cells by CD8+ T cells that mediate effective antiviral responses