The invention provides a compound of Formula I: or a pharmaceutically acceptable salt thereof as described herein. The invention also provides pharmaceutical compositions comprising a compound of Formula I, processes for preparing compounds of Formula I, therapeutic methods for treating the proliferation of the HIV virus, treating AIDS or delaying the onset of AIDS symptoms in a mammal using compounds of Formula I.