Computational design and experimental verification of a symmetric homodimer