62729-17-3 62777-11-1 AIDS-160186 AIDS160186 NSC301197 NSC301199 Tetrahydrothieno[3,4-d][1,3]dioxol-2-one 5-oxide