6-amino-1-tertbutyl-7-(1,2,3,4-tetrahydro-2-isoquinolinyl)-4-oxo-1,4-dihydroquinoline-3-carboxylic acid AIDS-024754 AIDS024754