TAT and HIV-associated neurocognitive disorder: Our findings suggest that metformin has potential for modulating microglia-mediated HIV-1 Tat neurotoxicity in HAND.