Anton Johan Gerard Haentjens Dekker (1903-1972)