Crystal structure of a computationally designed protein