1-(tert-Butyl)-6-fluoro-4-oxo-7-piperazinylhydropyridino[2,3-b]pyridine-3-carboxylic acid AIDS-030732 AIDS030732 PD135144