The anti-conformation of 2',3'-dideoxy nucleosides may be essential for anti-HIV activity: evidence from the crystal structure of 2',3'-dideoxy formycin A.