Edred John Henry Corner — English botanist and mycologist (1906-1996)