HIV protease-ligand complexes