1-(2-Deoxy-4.alpha.-ethynyl-.beta.-D-ribo-pentofuranosyl)cytosine 4'-C-Ethynyl-2'-deoxycytidine AIDS-082516 AIDS082516