'Better the Devil you know'. I know the meaning, but need the origin. Would it have been said in 1725 London or earlier?