4-Isoquinolinecarboxylic acid AIDS-020735 AIDS020735