High-energy neutrino conversion and the lepton asymmetry in the universe