3H-3,10b-Ethanonaphtho[1,2-c]-1,2-dioxin-7-carboxylic acid, 5,6,6a,7,8,9,10,10a-octahydro-7,10a-dimethyl-3-(1-methylethyl)-, methyl ester AIDS-160752 AIDS160752 NSC645995 NSC645996