6-amino-1-cyclopropyl-8-methyl-7-(4-methyl-1-piperidinyl)-4-oxo-1,4-dihydroquinoline-3-carboxylic acid hydrochloride AIDS-024775 AIDS024775