2-(1,3-Benzodioxol-5-yl)-5-tert-butyl-9-methyl-3b,4,5,6,7,7a,12,12b-octahydrobenzo[c]pyrrolo[3,4-a]carbazole-1,3(2H,3aH)-dione AIDS-153818 AIDS153818 NSC706740