Jan Očko z Vlašimi: První český kardinál a rádce Karla IV. v Knihotéce