Disclosed are compounds of formula I or salts thereof. Also included are pharmaceutical compositions comprising compounds of formula I, processes for preparing compounds of formula (I), intermediates useful for preparing compounds of formula (I), and infections caused by HIV viruses. A therapeutic method for treating a Retroviridae virus infection is disclosed. One embodiment provides a method of treating an HIV infection in a mammal (eg, a human) comprising administering to the mammal a compound of formula I, or a pharmaceutically acceptable salt thereof.式Iの化合物またはその塩が開示される。また、式Iの化合物を含む医薬組成物、式(I)の化合物を調製するプロセス、式(I)の化合物を調製するのに有用な中間体、およびHIVウイルスによって引き起こされる感染症を含めたRetroviridaeウイルス感染症を処置するための治療方法が開示される。一実施形態は、式Iの化合物、または薬学的に許容されるその塩を哺乳動物に投与するステップを含む、哺乳動物(例えば、ヒト)におけるHIV感染症を処置する方法を提供する。