István, a király - Budapesti Operettszínház