The use of compounds in formula I, including pharmaceutically acceptable salts, pharmaceutical compositions containing the compounds, methods for producing the compounds, and in the inhibition of HIV integrases, and in the treatment of those infected with HIV or AIDS, are disclosed. (I)1No selection薬学的に許容される塩を含めた式Iの化合物、該化合物を含む医薬組成物、該化合物を製造する方法、並びにHIVインテグラーゼの阻害における、及びHIV若しくはAIDSに感染したものの処置における、それらの使用が開示される。(I) 【化1】【選択図】なし