Asensio, Antonio fl. 1871.