.alpha.5-(2-N-tert-Butoxycarbonyl)-ethylamido-2',3'-dideoxy-5'-benzyloxymethyl-3'-thiauridine AIDS-031537 AIDS031537 Uracil Oxathiolane deriv.