Norsk biografisk leksikon (Aschehoug, 1958)