(+)-.beta.-D-5-Carboxamido-3'-thia-2',3'-dideoxycytidine AIDS-070580 AIDS070580