Robert R Butler (1920- )