A pharmaceutical composition comprising a compound of formula (I) comprising a pharmaceutically acceptable salt of a compound of formula (I), a pharmaceutical composition comprising the compound, a method of producing the compound, and a method of inhibiting HIV integrase and infecting HIV or AIDS Lt; RTI ID = 0.0 >; of: <; / RTI >;하기 화학식 (I)의 화합물의 약학적으로 허용되는 염을 포함하는 화학식 (I)의 화합물, 화합물을 포함하는 약학적 조성물, 화합물을 제조하는 방법 및 HIV 인테그라제를 억제하고 HIV 또는 AIDS에 감염된 사람들을 치료하는데 있어서의 이들의 용도가 기재된다: