Hrubý František (1916–1972)