1-Cyclopropyl-7-(cyclopropylamino)-6-nitro-4-oxohydroquinoline-3-carboxylic acid AIDS-081031 AIDS081031 Quinolonecarboxylic acid der.