Beautiful display, and it looks very happy. I would just submit it under Hippeastrum. There isn't a separate miniature category. It could be Floris Hekker which was widely sold several years ago, but I wouldn't want to hazard a guess, since now there are so many smaller flowered reds on the market.