Cima de la Peña del Castro, VILLARDECIERVOS