אלפונסו השישי, מלך לאון – הבדלי גרסאות