Císařský mlýn v Královské oboře v Praze - Muchka, Ivan Prokop