Rifampicin is a powerful enzyme inducer. It is most likely to induce the metabolism of which of the following anti-retroviral drugs?