| abstract |
Disclosed are compounds of the formula (see above formula) wherein X is oxygen, R5 is isobutyl, and Ar is phenyl substituted with a substituent selected from the group consisting of amino, methoxy, aminomethyl, hydroxy, and hydroxymethyl, or a pharmaceutically acceptable salt thereof, for use in the preparation of a medicament for treating an HIV-infected mammal, in combination with an antiretroviral agent selected from the group consisting of ritonavir, indinavir, and saquinavir. |