HIV protease in complex with SA525P