Lepton charge and neutrino mixing in pion decay processes