Allacci, Leone, Keeper of the Vatican Library