HIV protease in complex with AA74