Nomenclature for mammalian potassium channel genes.