6-Propylthio-5-isobutyl-2-pyrazinecarbothioamide AIDS-077118 AIDS077118