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