The invention relates to a pharmaceutical composition comprising an effective amount of the compound: or a pharmaceutically acceptable salt thereof and a pharmaceutically acceptable carrier and further comprising an effective amount of an anti-HIV agent. The invention further relates to use of said pharmaceutical composition for the prophylaxis or treatment of infection by HIV or for the prophylaxis, treatment, or delay in the onset of AIDS in a subject in need thereof.
