A quinolone synthetic antibacterial agent and a therapeutic agent for an infection which exhibit broad spectrum and strong antibacterial activity for both Gram positive and Gram negative bacteria, and which are also highly safe are provided. The compound provided is represented by following formula (I): wherein R1 and R2 represent hydrogen atom, or the like; R3 represents an alkyl group containing 1 to 6 carbon atoms, or the like; R4 and R5 independently represents hydrogen atom, an alkyl group containing 1 to 6 carbon atoms, or the like, with the proviso that R4 and R5 do not simultaneously represent hydrogen atom; or the substituents R4 and R5 together represent (a) a 3- to 6-membered cyclic structure including the carbon atom shared by R4 and R5 to form a spirocyclic structure with the pyrrolidine ring; R6 and R7 independently represents hydrogen atom, an alkyl group containing 1 to 6 carbon atoms, or the like; R8 represents a halogen-substituted alkyl group containing 1 to 6 carbon atoms, or the like; X1 represents hydrogen atom or a halogen atom; A represents nitrogen atom or a moiety represented by formula (II):