Extension of an empirical charged lepton mass relation to the neutrino sector