A pharmaceutical composition comprising a compound of formula <; RTI ID = 0.0 >; I, <; / RTI >; comprising a pharmaceutically acceptable salt thereof, a pharmaceutical composition comprising the compound, a method for preparing the compound and a pharmaceutical composition for inhibiting HIV integrase and for treating HIV or AIDS- Their use is disclosed:약학적으로 허용되는 염을 포함하는, 하기 화학식 I의 화합물, 화합물을 포함하는 약학적 조성물, 화합물을 제조하기 위한 방법 및 HIV 인테그라제를 억제하고, HIV 또는 AIDS에 감염된 피검체들을 치료하는데 있어서의 이들의 용도가 개시된다: