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