The building in which the American Art Museum / Portrait Gallery library is housed