6,6,7a-Trimethylhexahydro-4aH-cyclopropa[g][1,4]benzoxathiin-2(3H)-one AIDS-141172 AIDS141172 NSC655929