8-(Spiro-1,3-dioxacyclopentan[2.3]-1-piperidinyl)-1-cyclopropyl-7-fluoro-4H-9-methyl-4-oxo-quinolizine-3-carboxylic acid AIDS-170227 AIDS170227