I think that's what "Tools > Create filtered deck" is for. Assuming the cards are appropriately tagged, "tag:hsk5" should be enough.

For more complex operations Anki doesn't support directly, I usually just export as text instead of dealing with the database directly.