Brush, John B., 1912-