1-(Tert-butyl)-7-(cyclopropylamino)-6-nitro-4-oxohydroquinoline-3-carboxylic acid AIDS-081033 AIDS081033 Quinolonecarboxylic acid der.