Sir Giddy Whim, or, the lucky amour. A comedy.