The compounds of formula (I): (wherein R1-8 is as defined in the claims) exhibit a positive allosteric GABAB modulator action and are therefore useful as positive allosteric modulators for GABAB receptors. is there.式(I):(式中、R1-8は特許請求の範囲において定義されたものである。)の化合物は、ポジティブアロステリックGABABモジュレータ作用を示し、したがって、GABAB受容体のポジティブアロステリックモジュレータとして有用である。