(+)-2'-Deoxy-3'-oxa-4'-thiocytidine (+)-dOTC AIDS-058065 AIDS058065 BCH-10619