2',3'-Dideoxy-5'-O-propionylcytidine AIDS-087827 AIDS087827