Studies of Ion Transport in K+ Channels