Accurate de Novo Design of Membrane-Traversing Macrocycles.