4,5(cis)-Diacetoxy-1,2-dithiane AIDS-032745 AIDS032745 NSC667093