1-((4,5-Bis(hydroxymethyl)-1,3-dioxolan-2-yl)methyl)-5-methyl-2,4(1H,3H)-pyrimidinedione AIDS-141353 AIDS141353 NSC656643