to compounds of formula and their pharmaceutically acceptable salts of (I) it may be used in the form of pharmaceutical compositions : Formula I Wherein , A 1 , A 2 , R 1 , R 2 , R 3 and R 4 have the meanings defined in claim 1 .하기 화학식 I의 화합물 및 이의 약학적으로 허용가능한 염은 약학 조성물의 형태로 사용될 수 있다:화학식 I상기 식에서, A1, A2, R1, R2, R3 및 R4는 제1항에 정의된 의미를 갖는다.