5♣. Partner should have at least 7 clubs for his 4♣ bid, but probably not the K. ♣ seems to play better than ♥ if at the same level. Selling out to 4♠, doubled or not, is very speculative. 4♠ will probably go down 1 very often, but sometimes it makes and sometimes 5♣ makes. I have a bad feeling for my ♦K on defense, even if it is behind the ace. And partner should be much less willing to run from 3NT if he has some help for us with secondary stuff in the pointed suits.