Salvator mundi, von Leonardo da Vinci