HAVCR2 and HIV infectious disease: The presence of immune exhaustion is a well-described feature of HIV infection, with several pieces of evidence highlighting the role of the immune checkpoints CTLA-4, PD-1, TIM-3, LAG-3, and TIGIT.