The family Triphoridae (Mollusca, Gastropoda prosobranchia) in Cuba 3. The genus Isotriphora, with description of a new species