(+)-.beta.-D-2',3'-Didehydro-2',3'-dideoxy-5-fluorocytidine-5'-triphosphate (+)-.beta.-D-D4FCTP AIDS-071540 AIDS071540 D-d4FCTP