Eijkelenburg, Stephanus Johannes van (1922-)