Pedroli, Johannes Antonius Jozef (1915-2001)