Thank you Josh and bottleneck.
So I have two options: one is to copy and paste post content, and then export/import wp-comments, and then manually adjust comment_post_ID. I have only 121 comments so this wouldn't be too bad, but still would take quite some time.
The other option is to export/import wp_posts and wp_comments together, which would save all the manual editing. However there is a small chance that even these tables are infected. I have had a brief look through it, and nothing looks suspicious, so they're probably fine.
The final option would be to just copy and paste page content for my 43 posts and lose the comments.
I will play around and see what solution works out best. Thanks again. It's really nice to know you're not alone when you get hacked and that there are people willing to support you in the recovery process.
