Daniel J. Bernstein (1918-1970)