Ernst Mayr, Hauptbibliothek Wien