My roommate recently noticed that one fin on his 8-10" butterfly koi has turned pinkish red and it is holding the fin close to its side. The disease probably came to his tank via a couple of Walmart koi that he tried adding to the tank without quarantining first.... I was wondering what to do. So far we've done a 40-50% water change and then added a fungus water treatment. I believe one of the active ingredients is acriflaven... We also added aquarium salt. Has anyone seen this disease before, or have suggestions?