Engineering K+ channels using semisynthesis.