Valle, Antonio del, d. 1841.