5-tert-Butyl-2-(3-methylphenyl)-3b,4,5,6,7,7a,12,12b-octahydrobenzo[c]pyrrolo[3,4-a]carbazole-1,3(2H,3aH)-dione AIDS-153820 AIDS153820 NSC706742