The disclosure generally relates to the novel compounds of formula I, including their salts, which inhibit HIV integrase and prevent viral integration into human DNA. This action makes the compounds useful for treating HIV infection and AIDS. The invention also encompasses pharmaceutical compositions and methods for treating those infected with HIV.