AIDS-138715 AIDS138715 Dispiro[1,3-dioxolane-2,1'(2'H)-naphthalene-6'(5'H),3''-oxaziridine], hexahydro-8'a-methyl-2''-(1-phenylethyl)- NSC646145