(2-Phenyl-1,3-dithiolan-4-yl)methan-1-ol AIDS-082000 AIDS082000 Dithiolane deriv.