5-Benzoylpyrazine-2-carboxylic acid AIDS-091573 AIDS091573 H2O