one of its sons was ildefonso escolastico de las muñecas