Space-Efficient Simulations of Quantum Interactive Proofs.