4′-Substituted nucleosides as inhibitors of HIV: an unusual oxetane derivative.