Magyar Tudományos Akadémia, Budapest. Könyvtár