4,5(trans)-Diacetoxy-1-oxo-1,2-dithiane AIDS-032750 AIDS032750 NSC667094