Michaelis, Frederick H. (1917-1992)