Neutrino hadroproduction (HARP).