Disclosed is a compound represented by the formula (I) below or a pharmacologically acceptable salt thereof. Also disclosed is a use of the compound or salt as a pharmaceutical product.
(In the formula, Ar
1
represents a triazolyl group or the like which may be substituted with a C
1-6
alkyl group or the like; Ar
2
represents a phenyl group or the like which may be substituted with a C
1-6
alkoxy group or the like; X
1
represents —CR
3
═CR
4
— (wherein R
3
and R
4
respectively represent a C
1-6
alkyl group or the like); and R
1
and R
2
respectively represent a C
1-6
alkyl group or the like.)