Potent inhibitors of the HIV-1 protease incorporating cyclic urea P1–P2 scaffold