Disclosed are compounds of formula I or salts thereof. Retroviridae virus infections, including 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 is disclosed. One embodiment inhibits growth of a mammalian (eg, human) HIV virus, treats AIDS, comprising administering to the mammal a compound of formula I or a pharmaceutically acceptable salt thereof; or Methods of delaying the onset of AIDS or ARC symptoms are provided.式Iの化合物またはその塩が開示される。また、式Iの化合物を含む医薬組成物、式Iの化合物を調製するプロセス、式Iの化合物を調製するのに有用な中間体、およびHIVウイルスによって引き起こされる感染症を含めたRetroviridaeウイルス感染症を処置するための治療方法が開示される。一実施形態は、式Iの化合物または薬学的に許容されるその塩を哺乳動物に投与するステップを含む、哺乳動物(例えば、ヒト)のHIVウイルスの増殖を阻害し、AIDSを処置し、またはAIDSもしくはARC症状の発症を遅延させる方法を提供する。