Amando de Miguel Rodríguez (n.