Glycogen synthase kinase 3 beta (GSK-3 beta) as a therapeutic target in neuroAIDS.