6-amino-7-(cyclopropylamino)-1-cyclopropyl-4-oxo-1,4-dihydroquinoline-3-carboxylic acid AIDS-024745 AIDS024745