he was the son of mariano sanz and tomasa leon