High resolution design of a protein loop