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