HIV protease complexed with compound 10b