Asymmetric synthesis of enantiomerically pure (−)-(1′R,4′R)-dioxolane-thymine and its anti-HIV activity.