1-Cyclopropyl-6,8-difluoro-1,4-dihydro-7-(2-oxa-5,8-diazabicylo[4.3.0]non-8-yl)-4-oxo-3-quinolinecarboxylic acid AIDS-104576 AIDS104576