Quantum phase diffusion in a small underdamped Josephson junction.