I like your 4bet sizing here.

Folding is really bad though, consider his range and your equity vs it.