AIDS-032391 AIDS032391 [6-(Hydroxymethyl)-1,2-dithiin-3-yl]methyl cyclopropanecarboxylate