1,1-Dioxo-1,2-dithiane-4,5-diol AIDS-088547 AIDS088547