Phosphoramidate and phosphate prodrugs of (-)-beta-D-(2R,4R)-dioxolane-thymine: synthesis, anti-HIV activity and stability studies.