(4R,5R)-1-[4,5-Bis(hydroxymethyl)-1,3-dioxolan-2-yl]uracil AIDS-044623 AIDS044623 Dioxolan-U deriv.