2-Phenyl-3a,3b,4,6,7,7a,12,12b-octahydro-1H-pyrrolo[3,4-a]thiopyrano[3,4-c]carbazole-1,3(2H)-dione AIDS-132754 AIDS132754 NSC627389