This invention relates to compounds of the formula wherein R1 to R9 are as described below, or to pharmaceutically acceptable salts thereof. These compounds are BACE2 inhibitors and can be used as medicaments for the therapeutic and/or prophylactic treatment of diseases such as diabetes, particularly type 2 diabetes, and other metabolic disorders.本発明は、式:[式中、R1~R9は、明細書中に記載するとおりである]で示される化合物又はその薬学的に許容しうる塩に関する。これらの化合物は、BACE2阻害阻害剤であり、そして疾患、例えば糖尿病、特に2型糖尿病、及び他の代謝障害の治療的及び/又は予防的処置のための医薬として使用することができる。