2(1H)-Pyrimidinone, 4-amino-5-fluoro-1-[(2S,4R)-2-(hydroxymethyl)-2-methyl-1,3-dioxolan-4-yl]- AIDS-112522 AIDS112522