.alpha.5-(2-Ethylamine)-amido-2',3'-dideoxy-3'-thiauridine AIDS-031538 AIDS031538 Uracil Oxathiolane deriv.