A potassium ion channel is involved in cytokine production by activated human macrophages