2-Oxotetrahydrothieno[3,4-d][1,3]dioxol-4-yl acetate AIDS-128850 AIDS128850 NSC301198