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.