.alpha-D.-5-Ethyl-2'-deoxycytidine AIDS-188253 AIDS188253