8-(1,3-Dithian-2-ylidene)-1-methylhexahydro[1,3]oxazolo[3,4-a]pyridin-3-one AIDS-130958 AIDS130958 NSC617407