Post a credit note
If you haven't created this yet, post either a product credit note, service credit note or batch credit note. You can then refund it in the post a customer refund section below.
If you prefer, you can do this later and allocate the refund and credit note.