.beta.-D-5'-O-Va-D4FC .beta.-D-5'-O-Valeryl-2',3'-didehydro-2',3'-dideoxy-5-fluorocytidine AIDS-071452 AIDS071452