(±)-Dioxolane-T ((±)-1-[(2β,4β)-2-(hydroxymethyl)-4-dioxolanyl]thymine): a new 2',3'-dideoxynucleoside prototype with in vitro activity against HIV