6-(Acetyloxy)-2-oxotetrahydrothieno[3,4-d][1,3]dioxol-4-yl acetate 62729-50-4 AIDS-128851 AIDS128851 NSC301200