The invention provides compounds of formula (I): or a salt thereof as described herein. The invention also provides pharmaceutical compositions comprising a compound of formula I, processes for preparing compounds of formula (I), intermediates useful for preparing compounds of formula I and therapeutic methods for treating the proliferation of the HIV virus, treating AIDS or delaying the onset of AIDS or ARC symptoms in a mammal using compounds of formula (I).
