Моя первоначальная мысль «это 32-битная версия» была правильной, меня просто смутил этот «64-битный» выбор (2-й скриншот). Оказывается, что выбор правильный, хотя, потому что, когда я изменяю его на 32-битный, я больше не могу запустить vm ... но это не было проблемой здесь.
Проблема заключалась в том, что у меня не было 64-битной операционной системы Windows на моем виртуальном компьютере. Поэтому я искал здесь, нашел, как его получить, и создал новый виртуальный компьютер. Для той конкретной программы, которую я пытался установить, мне дополнительно пришлось увеличить объем оперативной памяти до 8 Гб, и, наконец, все заработало!