Activity equilibrium constant