Compounds of the formula (I), pharmaceutical compositions containing the compounds, processes for the preparation of the compounds and their use in the inhibition of HIV integrase and in the treatment of those infected with HIV or AIDS, including pharmaceutically acceptable salts , Is disclosed. [Chemical formula 1] 【Selection chart】 None薬学的に許容される塩を含めて、式(I)の化合物、本化合物を含む医薬組成物、本化合物の製造方法並びにHIVインテグラーゼの阻害及びHIV又はAIDSに感染したものの処置におけるそれらの使用、が開示されている。【化1】【選択図】なし