2-Cyanomethylthiopyridine-4-carbonitrile AIDS-089030 AIDS089030 Pyridine derivative