the best thing to do is keep water quality pristine. do frequent water changes. and not sure if he's isolated already but isolate him and delete any risk of infection. my auntie had one like this from poor water quality. give it some time. just don't stress the koi out. a little salt goes a long way