6-Phenylthio-5-propyl-2-pyrazinecarboxamide AIDS-089888 AIDS089888