3,6-Bis[(2,2-dimethyl-1,3-dioxolan-4-yl)methoxy]methyl}-1,2-dithiin-3,6-diyl AIDS-032417 AIDS032417