Dirk Tol (1919-1997)