2-(2H-Benzo[3,4-d]1,3-dioxolen-5-yl)benzo[d]1,3,2-dithiazolin-1-one AIDS-029647 AIDS029647