Beta-Reduction As Unification

We define a unification problem ^UP with the property that, given a pure lambda-term M, we can derive an instance Gamma(M) of ^UP from M such that Gamma(M) has a solution if and only if M is beta-strongly normalizable. There is a type discipline for pure lambda-terms that characterizes beta-strong normalization; this is the system of intersection types (without a "top" type that can be assigned to every lambda-term). In this report, we use a lean version LAMBDA of the usual system of intersection types. Hence, ^UP is also an appropriate unification problem to characterize typability of lambda-terms in LAMBDA. It also follows that ^UP is an undecidable problem, which can in turn be related to semi-unification and second-order unification (both known to be undecidable).

Synthesis and reactivity of alpha-thio-beta-chloroacrylamides and alpha-thio-beta-chloroenones

Development of novel synthetic methodology for selective transformation of organic compounds is a central element underpinning organic synthesis with control of chemo-, regio- and stereoselectivity a very high priority. Reactions which can be conducted under mild reaction conditions and, ideally in an environmentally attractive manner, are particularly advantageous. The principal objective of this thesis was to explore the synthesis, reactivity and synthetic utility of a series of α,β-thio-β-chloroenones. The stereochemical features of these transformations and the potential of this novel series of compounds in the synthesis of bioactive compounds were of particular interest. In exploring the reactivity of these compounds, the key transformations included nucleophilic additions and Stille cross-coupling at the β-carbon. Chapter 1 reviews the literature relevant to the research conducted, and focuses in particular on the synthesis of β-chloroenones and related unsaturated carbonyl compounds. The synthesis of chalcone compounds from various precursors is also discussed, with particular emphasis on the use of palladium cross-coupling reactions in the preparation of these compounds. The biological activity of chalcones is also summarised in this chapter. The second chapter delineates the stereoselective synthesis of the novel α-thio-β-chloroenones from the corresponding α-thioketones in a multistep reaction cascade initiated by a NCS-mediated chlorination. A range of both alkyl and aryl β-chloroenones were prepared in this work and the oxidation of these compounds to the corresponding sulfoxides and sulfones is also outlined. The electrophilicity of the β-carbon of the enones was examined in nucleophilic addition/substitution reactions with successful access to a variety of synthetically useful novel adducts including acetals and enaminoketones. Investigation of the synthetic potential of the Stille cross-coupling reaction with the novel α-thio-β-chloroenones was explored and provided an efficient route for the synthesis of a novel series of chalcones. Most importantly this new methodology provided a new and synthetically powerful approach for carbon-carbon bond formation at the β-carbon under mild neutral conditions. A preliminary investigation into the use of these β-chloroenones as dienophiles in Diels-Alder cycloaddition reactions is also discussed in this chapter. Chapter 2 also reports the nucleophilic addition of N, O, S and C nucleophiles to previously described β-chloroacrylamides and their corresponding sulfoxide derivatives. This work builds on previous research carried out in this programme and the reactivity of these β-chloroacrylamides at the sulfide and sulfoxide level is compared. Comparison of the reactivity of the β-chloroacrylamides, in nucleophilic substitution and Stille-coupling, with that of the novel β-chloroenones is of interest. Finally, the biological activity of both the β-chloroenones and the β-chloroacrylamides in terms of cytotoxicity is summarised in Chapter 2. The final chapter, Chapter 3, details the full experimental procedures, including spectroscopic and analytical data for the compounds prepared during this research.

TCR V alpha- and V beta-gene segment use in T-cell subcultures derived from a type-III bare lymphocyte syndrome patient deficient in MHC class-II expression.

Previously, we and others have shown that MHC class-II deficient humans have greatly reduced numbers of CD4+CD8- peripheral T cells. These type-III Bare Lymphocyte Syndrome patients lack MHC class-II and have an impaired MHC class-I antigen expression. In this study, we analyzed the impact of the MHC class-II deficient environment on the TCR V-gene segment usage in this reduced CD4+CD8- T-cell subset. For these studies, we employed TcR V-region-specific monoclonal antibodies (mAbs) and a semiquantitative PCR technique with V alpha and V beta amplimers, specific for each of the most known V alpha- and V beta-gene region families. The results of our studies demonstrate that some of the V alpha-gene segments are used less frequent in the CD4+CD8- T-cell subset of the patient, whereas the majority of the TCR V alpha- and V beta-gene segments investigated were used with similar frequencies in both subsets in the type-III Bare Lymphocyte Syndrome patient compared to healthy control family members. Interestingly, the frequency of TcR V alpha 12 transcripts was greatly diminished in the patient, both in the CD4+CD8- as well as in the CD4-CD8+ compartment, whereas this gene segment could easily be detected in the healthy family controls. On the basis of the results obtained in this study, it is concluded that within the reduced CD4+CD8- T-cell subset of this patient, most of the TCR V-gene segments tested for are employed. However, a skewing in the usage frequency of some of the V alpha-gene segments toward the CD4-CD8+ T-cell subset was noticeable in the MHC class-II deficient patient that differed from those observed in the healthy family controls.

Short-lived alpha-helical intermediates in the folding of beta-sheet proteins.

Several lines of evidence point strongly toward the importance of highly alpha-helical intermediates in the folding of all globular proteins, regardless of their native structure. However, experimental refolding studies demonstrate no observable alpha-helical intermediate during refolding of some beta-sheet proteins and have dampened enthusiasm for this model of protein folding. In this study, beta-sheet proteins were hypothesized to have potential to form amphiphilic helices at a period of <3.6 residues/turn that matches or exceeds the potential at 3.6 residues/turn. Hypothetically, such potential is the basis for an effective and unidirectional mechanism by which highly alpha-helical intermediates might be rapidly disassembled during folding and potentially accounts for the difficulty in detecting highly alpha-helical intermediates during the folding of some proteins. The presence of this potential was confirmed, indicating that a model entailing ubiquitous formation of alpha-helical intermediates during the folding of globular proteins predicts previously unrecognized features of primary structure. Further, the folding of fatty acid binding protein, a predominantly beta-sheet protein that exhibits no apparent highly alpha-helical intermediate during folding, was dramatically accelerated by 2,2,2-trifluoroethanol, a solvent that stabilizes alpha-helical structure. This observation suggests that formation of an alpha-helix can be a rate-limiting step during folding of a predominantly beta-sheet protein and further supports the role of highly alpha-helical intermediates in the folding of all globular proteins.

A prochelator activated by beta-secretase inhibits Abeta aggregation and suppresses copper-induced reactive oxygen species formation.

The intersection of the amyloid cascade hypothesis and the implication of metal ions in Alzheimer's disease progression has sparked an interest in using metal-binding compounds as potential therapeutic agents. In the present work, we describe a prochelator SWH that is enzymatically activated by beta-secretase to produce a high affinity copper chelator CP. Because beta-secretase is responsible for the amyloidogenic processing of the amyloid precursor protein, this prochelator strategy imparts disease specificity toward copper chelation not possible with general metal chelators. Furthermore, once activated, CP efficiently sequesters copper from amyloid-beta, prevents and disassembles copper-induced amyloid-beta aggregation, and diminishes copper-promoted reactive oxygen species formation.

Human uterine leiomyoma-derived fibroblasts stimulate uterine leiomyoma cell proliferation and collagen type I production, and activate RTKs and TGF beta receptor signaling in coculture.

BACKGROUND: Uterine leiomyomas (fibroids) are benign smooth muscle tumors that often contain an excessive extracellular matrix (ECM). In the present study, we investigated the interactions between human uterine leiomyoma (UtLM) cells and uterine leiomyoma-derived fibroblasts (FB), and their importance in cell growth and ECM protein production using a coculture system. RESULTS: We found enhanced cell proliferation, and elevated levels of ECM collagen type I and insulin-like growth factor-binding protein-3 after coculturing. There was also increased secretion of vascular endothelial growth factor, epidermal growth factor, fibroblast growth factor-2, and platelet derived growth factor A and B in the media of UtLM cells cocultured with FB. Protein arrays revealed increased phosphorylated receptor tyrosine kinases (RTKs) of the above growth factor ligands, and immunoblots showed elevated levels of the RTK downstream effector, phospho-mitogen activated protein kinase 44/42 in cocultured UtLM cells. There was also increased secretion of transforming growth factor-beta 1 and 3, and immunoprecipitated transforming growth factor-beta receptor I from cocultured UtLM cells showed elevated phosphoserine expression. The downstream effectors phospho-small mothers against decapentaplegic -2 and -3 protein (SMAD) levels were also increased in cocultured UtLM cells. However, none of the above effects were seen in normal myometrial cells cocultured with FB. The soluble factors released by tumor-derived fibroblasts and/or UtLM cells, and activation of the growth factor receptors and their pathways stimulated the proliferation of UtLM cells and enhanced the production of ECM proteins. CONCLUSIONS: These data support the importance of interactions between fibroid tumor cells and ECM fibroblasts in vivo, and the role of growth factors, and ECM proteins in the pathogenesis of uterine fibroids.

Reciprocal in vivo regulation of myocardial G protein-coupled receptor kinase expression by beta-adrenergic receptor stimulation and blockade.

BACKGROUND: Impaired myocardial beta-adrenergic receptor (betaAR) signaling, including desensitization and functional uncoupling, is a characteristic of congestive heart failure. A contributing mechanism for this impairment may involve enhanced myocardial beta-adrenergic receptor kinase (betaARK1) activity because levels of this betaAR-desensitizing G protein-coupled receptor kinase (GRK) are increased in heart failure. An hypothesis has emerged that increased sympathetic nervous system activity associated with heart failure might be the initial stimulus for betaAR signaling alterations, including desensitization. We have chronically treated mice with drugs that either activate or antagonize betaARs to study the dynamic relationship between betaAR activation and myocardial levels of betaARK1. METHODS AND RESULTS: Long-term in vivo stimulation of betaARs results in the impairment of cardiac +betaAR signaling and increases the level of expression (mRNA and protein) and activity of +betaARK1 but not that of GRK5, a second GRK abundantly expressed in the myocardium. Long-term beta-blocker treatment, including the use of carvedilol, improves myocardial betaAR signaling and reduces betaARK1 levels in a specific and dose-dependent manner. Identical results were obtained in vitro in cultured cells, demonstrating that the regulation of GRK expression is directly linked to betaAR signaling. CONCLUSIONS: This report demonstrates, for the first time, that betaAR stimulation can significantly increase the expression of betaARK1 , whereas beta-blockade decreases expression. This reciprocal regulation of betaARK1 documents a novel mechanism of ligand-induced betaAR regulation and provides important insights into the potential mechanisms responsible for the effectiveness of beta-blockers, such as carvedilol, in the treatment of heart failure.

In vivo ventricular gene delivery of a beta-adrenergic receptor kinase inhibitor to the failing heart reverses cardiac dysfunction.

BACKGROUND: Genetic manipulation to reverse molecular abnormalities associated with dysfunctional myocardium may provide novel treatment. This study aimed to determine the feasibility and functional consequences of in vivo beta-adrenergic receptor kinase (betaARK1) inhibition in a model of chronic left ventricular (LV) dysfunction after myocardial infarction (MI). METHODS AND RESULTS: Rabbits underwent ligation of the left circumflex (LCx) marginal artery and implantation of sonomicrometric crystals. Baseline cardiac physiology was studied 3 weeks after MI; 5x10(11) viral particles of adenovirus was percutaneously delivered through the LCx. Animals received transgenes encoding a peptide inhibitor of betaARK1 (Adeno-betaARKct) or an empty virus (EV) as control. One week after gene delivery, global LV and regional systolic function were measured again to assess gene treatment. Adeno-betaARKct delivery to the failing heart through the LCx resulted in chamber-specific expression of the betaARKct. Baseline in vivo LV systolic performance was improved in Adeno-betaARKct-treated animals compared with their individual pre-gene delivery values and compared with EV-treated rabbits. Total beta-AR density and betaARK1 levels were unchanged between treatment groups; however, beta-AR-stimulated adenylyl cyclase activity in the LV was significantly higher in Adeno-betaARKct-treated rabbits compared with EV-treated animals. CONCLUSIONS: In vivo delivery of Adeno-betaARKct is feasible in the infarcted/failing heart by coronary catheterization; expression of betaARKct results in marked reversal of ventricular dysfunction. Thus, inhibition of betaARK1 provides a novel treatment strategy for improving the cardiac performance of the post-MI heart.

Augmentation of cardiac contractility mediated by the human beta(3)-adrenergic receptor overexpressed in the hearts of transgenic mice.

BACKGROUND: Stimulation of beta(1)- and beta(2)-adrenergic receptors (ARs) in the heart results in positive inotropy. In contrast, it has been reported that the beta(3)AR is also expressed in the human heart and that its stimulation leads to negative inotropic effects. METHODS AND RESULTS: To better understand the role of beta(3)ARs in cardiac function, we generated transgenic mice with cardiac-specific overexpression of 330 fmol/mg protein of the human beta(3)AR (TGbeta(3) mice). Hemodynamic characterization was performed by cardiac catheterization in closed-chest anesthetized mice, by pressure-volume-loop analysis, and by echocardiography in conscious mice. After propranolol blockade of endogenous beta(1)- and beta(2)ARs, isoproterenol resulted in an increase in contractility in the TGbeta(3) mice (30%), with no effect in wild-type mice. Similarly, stimulation with the selective human beta(3)AR agonist L-755,507 significantly increased contractility in the TGbeta(3) mice (160%), with no effect in wild-type mice, as determined by hemodynamic measurements and by end-systolic pressure-volume relations. The underlying mechanism of the positive inotropy incurred with L-755,507 in the TGbeta(3) mice was investigated in terms of beta(3)AR-G-protein coupling and adenylyl cyclase activation. Stimulation of cardiac membranes from TGbeta(3) mice with L-755,507 resulted in a pertussis toxin-insensitive 1.33-fold increase in [(35)S]GTPgammaS loading and a 1.6-fold increase in adenylyl cyclase activity. CONCLUSIONS: Cardiac overexpression of human beta(3)ARs results in positive inotropy only on stimulation with a beta(3)AR agonist. Overexpressed beta(3)ARs couple to G(s) and activate adenylyl cyclase on agonist stimulation.

In vivo inhibition of elevated myocardial beta-adrenergic receptor kinase activity in hybrid transgenic mice restores normal beta-adrenergic signaling and function.

BACKGROUND: The clinical syndrome of heart failure (HF) is characterized by an impaired cardiac beta-adrenergic receptor (betaAR) system, which is critical in the regulation of myocardial function. Expression of the betaAR kinase (betaARK1), which phosphorylates and uncouples betaARs, is elevated in human HF; this likely contributes to the abnormal betaAR responsiveness that occurs with beta-agonist administration. We previously showed that transgenic mice with increased myocardial betaARK1 expression had impaired cardiac function in vivo and that inhibiting endogenous betaARK1 activity in the heart led to enhanced myocardial function. METHODS AND RESULTS: We created hybrid transgenic mice with cardiac-specific concomitant overexpression of both betaARK1 and an inhibitor of betaARK1 activity to study the feasibility and functional consequences of the inhibition of elevated betaARK1 activity similar to that present in human HF. Transgenic mice with myocardial overexpression of betaARK1 (3 to 5-fold) have a blunted in vivo contractile response to isoproterenol when compared with non-transgenic control mice. In the hybrid transgenic mice, although myocardial betaARK1 levels remained elevated due to transgene expression, in vitro betaARK1 activity returned to control levels and the percentage of betaARs in the high-affinity state increased to normal wild-type levels. Furthermore, the in vivo left ventricular contractile response to betaAR stimulation was restored to normal in the hybrid double-transgenic mice. CONCLUSIONS: Novel hybrid transgenic mice can be created with concomitant cardiac-specific overexpression of 2 independent transgenes with opposing actions. Elevated myocardial betaARK1 in transgenic mouse hearts (to levels seen in human HF) can be inhibited in vivo by a peptide that can prevent agonist-stimulated desensitization of cardiac betaARs. This may represent a novel strategy to improve myocardial function in the setting of compromised heart function.

Level of beta-adrenergic receptor kinase 1 inhibition determines degree of cardiac dysfunction after chronic pressure overload-induced heart failure.

BACKGROUND: Heart failure is characterized by abnormalities in beta-adrenergic receptor (betaAR) signaling, including increased level of myocardial betaAR kinase 1 (betaARK1). Our previous studies have shown that inhibition of betaARK1 with the use of the Gbetagamma sequestering peptide of betaARK1 (betaARKct) can prevent cardiac dysfunction in models of heart failure. Because inhibition of betaARK activity is pivotal for amelioration of cardiac dysfunction, we investigated whether the level of betaARK1 inhibition correlates with the degree of heart failure. METHODS AND RESULTS: Transgenic (TG) mice with varying degrees of cardiac-specific expression of betaARKct peptide underwent transverse aortic constriction (TAC) for 12 weeks. Cardiac function was assessed by serial echocardiography in conscious mice, and the level of myocardial betaARKct protein was quantified at termination of the study. TG mice showed a positive linear relationship between the level of betaARKct protein expression and fractional shortening at 12 weeks after TAC. TG mice with low betaARKct expression developed severe heart failure, whereas mice with high betaARKct expression showed significantly less cardiac deterioration than wild-type (WT) mice. Importantly, mice with a high level of betaARKct expression had preserved isoproterenol-stimulated adenylyl cyclase activity and normal betaAR densities in the cardiac membranes. In contrast, mice with low expression of the transgene had marked abnormalities in betaAR function, similar to the WT mice. CONCLUSIONS: These data show that the level of betaARK1 inhibition determines the degree to which cardiac function can be preserved in response to pressure overload and has important therapeutic implications when betaARK1 inhibition is considered as a molecular target.

Beta-arrestins regulate atherosclerosis and neointimal hyperplasia by controlling smooth muscle cell proliferation and migration.

Atherosclerosis and arterial injury-induced neointimal hyperplasia involve medial smooth muscle cell (SMC) proliferation and migration into the arterial intima. Because many 7-transmembrane and growth factor receptors promote atherosclerosis, we hypothesized that the multifunctional adaptor proteins beta-arrestin1 and -2 might regulate this pathological process. Deficiency of beta-arrestin2 in ldlr(-/-) mice reduced aortic atherosclerosis by 40% and decreased the prevalence of atheroma SMCs by 35%, suggesting that beta-arrestin2 promotes atherosclerosis through effects on SMCs. To test this potential atherogenic mechanism more specifically, we performed carotid endothelial denudation in congenic wild-type, beta-arrestin1(-/-), and beta-arrestin2(-/-) mice. Neointimal hyperplasia was enhanced in beta-arrestin1(-/-) mice, and diminished in beta-arrestin2(-/-) mice. Neointimal cells expressed SMC markers and did not derive from bone marrow progenitors, as demonstrated by bone marrow transplantation with green fluorescent protein-transgenic cells. Moreover, the reduction in neointimal hyperplasia seen in beta-arrestin2(-/-) mice was not altered by transplantation with either wild-type or beta-arrestin2(-/-) bone marrow cells. After carotid injury, medial SMC extracellular signal-regulated kinase activation and proliferation were increased in beta-arrestin1(-/-) and decreased in beta-arrestin2(-/-) mice. Concordantly, thymidine incorporation and extracellular signal-regulated kinase activation and migration evoked by 7-transmembrane receptors were greater than wild type in beta-arrestin1(-/-) SMCs and less in beta-arrestin2(-/-) SMCs. Proliferation was less than wild type in beta-arrestin2(-/-) SMCs but not in beta-arrestin2(-/-) endothelial cells. We conclude that beta-arrestin2 aggravates atherosclerosis through mechanisms involving SMC proliferation and migration and that these SMC activities are regulated reciprocally by beta-arrestin2 and beta-arrestin1. These findings identify inhibition of beta-arrestin2 as a novel therapeutic strategy for combating atherosclerosis and arterial restenosis after angioplasty.

The G-protein-coupled receptor kinases beta ARK1 and beta ARK2 are widely distributed at synapses in rat brain.

The beta-adrenergic receptor kinase (beta ARK) phosphorylates the agonist-occupied beta-adrenergic receptor to promote rapid receptor uncoupling from Gs, thereby attenuating adenylyl cyclase activity. Beta ARK-mediated receptor desensitization may reflect a general molecular mechanism operative on many G-protein-coupled receptor systems and, particularly, synaptic neurotransmitter receptors. Two distinct cDNAs encoding beta ARK isozymes were isolated from rat brain and sequenced. The regional and cellular distributions of these two gene products, termed beta ARK1 and beta ARK2, were determined in brain by in situ hybridization and by immunohistochemistry at the light and electron microscopic levels. The beta ARK isozymes were found to be expressed primarily in neurons distributed throughout the CNS. Ultrastructurally, beta ARK1 and beta ARK2 immunoreactivities were present both in association with postsynaptic densities and, presynaptically, with axon terminals. The beta ARK isozymes have a regional and subcellular distribution consistent with a general role in the desensitization of synaptic receptors.

Differential mechanisms of morphine antinociceptive tolerance revealed in (beta)arrestin-2 knock-out mice.

Morphine induces antinociception by activating mu opioid receptors (muORs) in spinal and supraspinal regions of the CNS. (Beta)arrestin-2 (beta)arr2), a G-protein-coupled receptor-regulating protein, regulates the muOR in vivo. We have shown previously that mice lacking (beta)arr2 experience enhanced morphine-induced analgesia and do not become tolerant to morphine as determined in the hot-plate test, a paradigm that primarily assesses supraspinal pain responsiveness. To determine the general applicability of the (beta)arr2-muOR interaction in other neuronal systems, we have, in the present study, tested (beta)arr2 knock-out ((beta)arr2-KO) mice using the warm water tail-immersion paradigm, which primarily assesses spinal reflexes to painful thermal stimuli. In this test, the (beta)arr2-KO mice have greater basal nociceptive thresholds and markedly enhanced sensitivity to morphine. Interestingly, however, after a delayed onset, they do ultimately develop morphine tolerance, although to a lesser degree than the wild-type (WT) controls. In the (beta)arr2-KO but not WT mice, morphine tolerance can be completely reversed with a low dose of the classical protein kinase C (PKC) inhibitor chelerythrine. These findings provide in vivo evidence that the muOR is differentially regulated in diverse regions of the CNS. Furthermore, although (beta)arr2 appears to be the most prominent and proximal determinant of muOR desensitization and morphine tolerance, in the absence of this mechanism, the contributions of a PKC-dependent regulatory system become readily apparent.