(-)-(2R,4S)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]uracil .a.-DioxolaneU AIDS-004285 AIDS004285