Mucocele of the petrous temporal bone.