Det är mycket svårt att svara på vad för sjukdom dina fiskar har utan att se dom (detta gäller för övrigt för de flesta fisksjukdomar).
Bukvattensot (vilket jag inte vet om det är) orsakas av en flagellat och mot den hjälper inte flubenol - däremot oftast octozin.

Vad jag hade gjort - bytt vatten, tillsatt salt (2 dl per 100l vatten) och avvaktat. Man kan också gärna tillsätta någon bakterikultur eftersom du också tagit livet av en massa nyttobakterier med flubenolen.
Pumpen skall inte på något sätt strypas - snarare bör syresättningen ökas.