(-)-2'-Deoxy-3'-oxa-4'-thiocytidine (-)-DOTC AIDS-058066 AIDS058066 AVX754 BCH-10618 SPD754