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