I84V HIV-1 protease in complex with a pyrrolidine diester