Antonio Marino di Tocco — (1914-1995)