2-(PO3-Me)-1,3-dioxolane deriv. AIDS-015325 AIDS015325 N-{2-oxo-1-[2-(phosphonomethyl)(1,3-dioxolan-4-yl)]hydropyrimidin-4-yl}acetamide