1-Cyclopropyl-7-(3-ethylpyrrolidinyl)-6,8-difluoro-4-oxohydroquinoline-3-carboxylic acid AIDS-059928 AIDS059928 PD143471