The present invention relates to a compound of formula (I) or a tautomer or pharmaceutically acceptable acid addition salt thereof, use of a compound of formula (I) as a medicament, at least one compound of formula (I) And a pharmaceutical formulation comprising one or more compounds of formula (I), wherein R1, R2, R3, R4, X and Z- are one of the definitions described in the specification. Have.本発明は、式(I)の化合物又はその互変異性体もしくは医薬的に許容される酸付加塩、式(I)の化合物の医薬としての使用、式(I)の化合物の少なくとも1種を含む医薬組成物、並びに式(I)の化合物の1種以上を含む医薬製剤に関するもので、式中、R1、R2、R3、R4、X及びZ-は明細書に記載の定義の一つを有する。