Design and synthesis of P1-P3 macrocyclic tertiary-alcohol-comprising HIV-1 protease inhibitors.