San Juan el Real, el castillo de Herodes, OVIEDO