Jens Kristen Børge Petersen (1917 - 1993)