Frederick Raymond Farrington (1915-2000)