A compound of Formula 1:
(wherein A is optionally substituted lower alkylene (substituent: mono- or di-lower alkyl, lower alkylidene, or lower alkylene having two or more carbons); Z
+
is either of the groups shown below:
(wherein R
1
and R
2
are each independently hydrogen, optionally substituted amino lower alkyl, optionally substituted aminocycloalkyl, optionally substituted cyclic amino, or optionally substituted cyclic amino lower alkyl; R
9
is hydrogen or lower alkyl, or R
1
and R
9
taken together with an adjacent N atom may form optionally substituted cyclic amino; R
3
is hydrogen or amino; X is N or CR
4
(R
4
is hydrogen or optionally substituted lower alkyl)), a pharmaceutically acceptable salt or a solvate thereof.