Compounds of formula I′: or salts thereof are provided. 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 are also provided.