abstract |
The present invention provides compounds of the formula (I): or a salt thereof as described herein. The present invention also provides pharmaceutical compositions comprising a compound of the formula (I), processes for preparing compounds of the formula (I), intermediates useful for preparing compounds of the formula (I) and therapeutic methods for treating the proliferation of the virus of HIV, treat AIDS and delay the generation of AIDS or ARC symptoms in a mammal, using the compounds of the formula (1). |