crimson-spotted rainbowfish Synonyms