HAVCR2 and HIV-1 infection: Whether HIV-1 infection modulates the expression of Tim-3 on NK cells, or the levels of its ligand Galectin-9 (Gal-9), and how signaling through these molecules affects the NK cell response to HIV-1 remains inadequately understood.