The invention relates to a compound of formula (I) wherein A1 to A4 and R1 to R6 are defined as in the description and in the claims. The compound of formula (I) can be used, for example, as inhibitors of the cysteine protease cathepsin.本発明は、式(I)(式中、A1~A4及びR1~R6は、本明細書及び特許請求の範囲に定義する通りである)で表される化合物に関する。式(I)で表される化合物は、医薬として用いることができる。