TAT and HIV-associated neurocognitive disorder: Our findings indicate that metformin binds PEN2 and modulates microglia-mediated HIV-1 Tat neurotoxicity in HAND.