The life of John Milton: containing, besides the history of his works, several extraordinary characters of men and books, sects, parties, and opinions