Erkki Henttonen (s.1919).