AIDS-131657 AIDS131657 NSC624391 Spiro[1,3-dioxolane-2,2'(1'H)-naphthalen]-5'(3'H)-one, 4',4'a,8',8'a-tetrahydro-1',4'a-dimethyl-