abstract |
Disclosed are compounds of the formulas: (see formula IA) and (see formula IB) wherein R1, X, Y, Z, m, n, R3, R5, and R6 are herein defined, or a pharmaceutically acceptable salt thereof, for use in the preparation of a medicament for treating a human immunodeficiency virus (HIV) infection in an antiretroviral treatment-experienced mammal, for inhibiting a mutant retroviral infection in a mammal infected with a mutant retrovirus, and for preventing the development of drug resistance in an HIV-infected mammal. |