A compound represented by the formula (I) or a pharmaceutically acceptable salt thereof:which is used for preventive and/or therapeutic treatment of a disease caused by abnormal activity of tau protein kinase 1 such as a neurodegenerative diseases (e.g. Alzheimer disease).