5-(2-Bromovinyl)-1-[(4S,2R)-2-(hydroxymethyl)(1,3-oxathiolan-4-yl)]-1,3-dihydropyrimidine-2,4-dione AIDS-058746 AIDS058746 Oxathiolane nucleoside