Edvard Hagerup Bull (född 1922)