The invention provides a compound of Formula I:or a pharmaceutically acceptable salt thereof as described herin. 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.本發明提供一種式I化合物:或如本文中所描述之其醫藥學上可接受之鹽。本發明亦提供包含式I化合物之醫藥組合物、製備式I化合物之方法、在哺乳動物中使用式I化合物治療HIV病毒增殖、治療AIDS或延緩AIDS症狀發作之治療方法。