The pKa Shift of the Catalytic Aspartyl Dyad in the HIV-1 Protease Complexed with Hydroxyethylene Inhibitors