CASP1 and HIV infectious disease: Notably, in that experimental setting, stavudine (D4T), a common drug used as therapy in HIV-infection, prevented active Caspase-1 release, but it did not restore microglial Aβ phagocytosis.