BERNUY DE COCA: San Alonso Rodríguez, BERNUY DE COCA