Mario Frank DeRenzi (1920-1990)