Computational titration analysis of a multiprotic HIV-1 protease-ligand complex