Arnold Joseph Walls (1906-1987)