Substrate Binding Mechanism of HIV-1 Protease from Explicit-Solvent Atomistic Simulations | Synapse