Los Reyes Magos, BERNUY DE COCA