2,2-Dimethylhexahydro-3aH-[1,3]dioxolo[4,5-c][1,3]thiazolo[3,2-a]pyridin-4-ol AIDS-152382 AIDS152382 NSC696360