mario de sena