6-amino-1-cyclopropyl-8-methyl-7-(1,2,3,4-tetrahydro-2-isoquinolinyl)-4-oxo-1,4-dihydroquinoline-3-carboxylic acid AIDS-024776 AIDS024776