antiguo cuartel de la Guardia Cívil, MIRUEÑA DE LOS INFANZONES