Norsk biografisk leksikon (Aschehoug, 1954)