2',3'-Dideoxy-5'-O-pivaloylcytidine AIDS-087830 AIDS087830