(+)-(2R,4S)-5-Bromo-1-[2-(hydroxymethyl)-1,3-dioxolan-4-yl]uracil .a.-5Br-DioxolaneU AIDS-004291 AIDS004291