(+)-2'-Deoxy-3'-oxa-4'-thio-5-fluorocytidine (+)-dOTFC AIDS-058067 AIDS058067