CD4 and HIV infectious disease: First, HIV infection leads to an increase in the exhaustion profile of CD4 T cells, which metformin treatment has been shown to reduce [9].