Compounds of formula I, including pharmaceutically acceptable salts, pharmaceutical compositions comprising the compounds, methods for producing the compounds and their use in inhibiting HIV integrase and treating those infected with HIV or AIDS are described.são descritos compostos de fórmula i,incluindo sais farmaceuticamente aceitáveis, composições farmacêuticas compreendendo os compostos, métodos para produzir os compostos e seu uso na inibição da integrase do hiv e tratar os infectados com hiv ou aids.