Здесь Муха - Нюра, у Бруштейн - Маня (конкретно для брата). В произведениях других авторов, действие которых происходит в 1900-20-е годы, тоже Муха может быть от Марии. Причем так окликают даже не очень близкие приятели.То, что вы были уверены, что Мышка - настоящее имя, охотно верю