Synthesis and biological evaluation of 2',3'-didehydro-2',3'- dideoxy-5-fluorocytidine (D4FC) analogues: discovery of carbocyclic nucleoside triphosphates with potent inhibitory activity against HIV-1 reverse transcriptase.