Computational Studies of the HIV-1 Protease Dimer Interface.