1-[2-(Phosphonomethoxy)ethyl]isocytosine AIDS-072438 AIDS072438