doctor don Mariano José de Arce.