Svatojiřská bazilika á klášter na pražkem hradě - Borkovský, Ivan