A function that relates protein synthetic rates to potassium activity in vivo