3-Methyl-N-(4-methyl-5-oxo(1,2-dithioleno[4,3-b]3-pyrrolin-6-yl))but-2-enamide AIDS-155135 AIDS155135