Archivmaterialien zu Giovanni Pico della Mirandola, 1463-1494 - Pico della Mirandola, Giovanni