(6-{[(2,2-Dimethyl-1,3-dioxolan-4-yl)methoxy]methyl}-1,2-dithiin-3-yl)methan-1-ol AIDS-032416 AIDS032416