PION PRODUCTION IN HIGH-ENERGY PROTON--PROTON COLLISIONS.