José Mariano da Rocha Filho (1915-1998)