The Diary of Robert Hooke 1672-1680