-Llamábase Antonio -replicó Antonio-, y su padre, según me acuerdo, me dijo se llamaba Diego de Villaseñor.