4-(4-Cyanopyridine-2-ylthio)butanamidine AIDS-089032 AIDS089032 Pyridine derivative