A Compact Reprogrammed Genetic Code for De Novo Discovery of Proteolytically Stable Thiopeptides.

Thiopeptides make up a group of structurally complex peptidic natural products holding promise in bioengineering applications. The previously established thiopeptide/mRNA display platform enables de novo discovery of natural product-like thiopeptides with designed bioactivities. However, in contrast to natural thiopeptides, the discovered structures are composed predominantly of proteinogenic amino acids, which results in low metabolic stability in many cases. Here, we redevelop the platform and demonstrate that the utilization of compact reprogrammed genetic codes in mRNA display libraries can lead to the discovery of thiopeptides predominantly composed of nonproteinogenic structural elements. We demonstrate the feasibility of our designs by conducting affinity selections against Traf2- and NCK-interacting kinase (TNIK). The experiment identified a series of thiopeptides with high affinity to the target protein (the best KD = 2.1 nM) and kinase inhibitory activity (the best IC50 = 0.15 µM). The discovered compounds, which bore as many as 15 nonproteinogenic amino acids in an 18-residue macrocycle, demonstrated high metabolic stability in human serum with a half-life of up to 99 h. An X-ray cocrystal structure of TNIK in complex with a discovered thiopeptide revealed how nonproteinogenic building blocks facilitate the target engagement and orchestrate the folding of the thiopeptide into a noncanonical conformation. Altogether, the established platform takes a step toward the discovery of thiopeptides with high metabolic stability for early drug discovery applications.

Heterozygous mutations in the straitjacket region of the latency-associated peptide domain of TGFB2 cause Camurati-Engelmann disease type II.

Camurati-Engelmann disease (CED) is an autosomal dominant bone dysplasia characterized by progressive hyperostosis of the skull base and diaphyses of the long bones. CED is further divided into two subtypes, CED1 and CED2, according to the presence or absence of TGFB1 mutations, respectively. In this study, we used exome sequencing to investigate the genetic cause of CED2 in three pedigrees and identified two de novo heterozygous mutations in TGFB2 among the three patients. Both mutations were located in the region of the gene encoding the straitjacket subdomain of the latency-associated peptide (LAP) of pro-TGF-ß2. Structural simulations of the mutant LAPs suggested that the mutations could cause significant conformational changes and lead to a reduction in TGF-ß2 inactivation. An activity assay confirmed a significant increase in TGF-ß2/SMAD signaling. In vitro osteogenic differentiation experiment using iPS cells from one of the CED2 patients showed significantly enhanced ossification, suggesting that the pathogenic mechanism of CED2 is increased activation of TGF-ß2 by loss-of-function of the LAP. These results, in combination with the difference in hyperostosis patterns between CED1 and CED2, suggest distinct functions between TGFB1 and TGFB2 in human skeletal development and homeostasis.

Symbolic model checking quantum circuits in Maude.

This article presents a symbolic approach to model checking quantum circuits using a set of laws from quantum mechanics and basic matrix operations with Dirac notation. We use Maude, a high-level specification/programming language based on rewriting logic, to implement our symbolic approach. As case studies, we use the approach to formally specify several quantum communication protocols in the early work of quantum communication and formally verify their correctness: Superdense Coding, Quantum Teleportation, Quantum Secret Sharing, Entanglement Swapping, Quantum Gate Teleportation, Two Mirror-image Teleportation, and Quantum Network Coding. We demonstrate that our approach/implementation can be a first step toward a general framework to formally specify and verify quantum circuits in Maude. The proposed way to formally specify a quantum circuit makes it possible to describe the quantum circuit in Maude such that the formal specification can be regarded as a series of quantum gate/measurement applications. Once a quantum circuit has been formally specified in the proposed way together with an initial state and a desired property expressed in linear temporal logic (LTL), the proposed model checking technique utilizes a built-in Maude LTL model checker to automatically conduct formal verification that the quantum circuit enjoys the property starting from the initial state.

Structure of the human Bre1 complex bound to the nucleosome.

Histone H2B monoubiquitination (at Lys120 in humans) regulates transcription elongation and DNA repair. In humans, H2B monoubiquitination is catalyzed by the heterodimeric Bre1 complex composed of Bre1A/RNF20 and Bre1B/RNF40. The Bre1 proteins generally function as tumor suppressors, while in certain cancers, they facilitate cancer cell proliferation. To obtain structural insights of H2BK120 ubiquitination and its regulation, we report the cryo-electron microscopy structure of the human Bre1 complex bound to the nucleosome. The two RING domains of Bre1A and Bre1B recognize the acidic patch and the nucleosomal DNA phosphates around SHL 6.0-6.5, which are ideally located to recruit the E2 enzyme and ubiquitin for H2BK120-specific ubiquitination. Mutational experiments suggest that the two RING domains bind in two orientations and that ubiquitination occurs when Bre1A binds to the acidic patch. Our results provide insights into the H2BK120-specific ubiquitination by the Bre1 proteins and suggest that H2B monoubiquitination can be regulated by nuclesomal DNA flexibility.