6-Propylthio-5-propyl-2-pyrazinecarboxamide AIDS-089886 AIDS089886