Egon Petri (1938)