.alpha.-D-BV-OddU 5-(2-Bromovinyl)-1-[(4S,2R)-2-(hydroxymethyl)(1,3-dioxolan-4-yl)]-1,3-dihydropyrimidine-2,4-dione AIDS-058744 AIDS058744 Dioxolane nucleoside