3-Hydroxymethyl-6-ethynyl-1,2-dithiin AIDS-032435 AIDS032435