6-amino-7-[4-(2-pyridinil)-1-piperazinyl]-1-tertbutyl-4-oxo-1,4-dihydroquinoline-3-carboxylic acid AIDS-024753 AIDS024753