A biographical dictionary of eminent Scotsmen/Binning, Hugh