Hooke, Michael, fl. 17th century.