Good list of books. I’ve not read Lisp in Small Pieces, but have herd good things about it. SICP is a must IMO. The videos of the lectures from the course the book is based on are also available for free (google SCIP Videos).
PAIP is another great book, as is On Lisp - some really good ‘meat’ in On Lisp.
One I would add is Let Over Lambda, which is one of my favourite books on Macros - this is the one which really got the penny to drop for me. Ironically, after reading it, I write macros far less, but the ones I do write are far better.
Finally, another slightly advanced one is Purely Functional Data Structures, which is fairly advanced, but provides a lot of the underlying philosophy and design of Clojure’s data structures.