HAVCR2 and HIV-1 infection: HIV-1 infection was associated with reduced expression of Tim-3 on NK cells, which was normalized by HAART.