A pyrrolidinone derivative and HIV INTEGRASE INHIBITOR that is used in combination with other ANTI-HIV AGENTS for the treatment of HIV INFECTION.