(2R,5R)-1-[2,5-Dihydro-5-(phosphonomethoxy)-2-furanyl]-5-vinyluracil AIDS-088710 AIDS088710