Lucio Mariano Brandi (1918–1998)