4'-C-Ethynyl-.beta.-D-arabino-cytidine AIDS-017406 AIDS017406