Cytotoxic T-lymphocyte epitope vaccination protects against human metapneumovirus infection and disease in mice

Human metapneumovirus (hMPV) has emerged as an important human respiratory pathogen causing upper and lower respiratory tract infections in young children and older adults. In addition, hMPV infection is associated with asthma exacerbation in young children. Recent epidemiological evidence indicates that hMPV may cocircullate with human respiratory syncytial virus (hRSV) and mediate clinical disease similar to that seen with hRSV. Therefore, a vaccine for hMPV is highly desirable. In the present study, we used predictive bioinformatics, peptide immunization, and functional T-cell assays to define hMPV cytotoxic T-lymphocyte (CTL) epitopes recognized by mouse T cells restricted through several major histocompatibility complex class I alleles, including HILA-A*0201. We demonstrate that peptide immunization with hMPV CTL epitopes reduces viral load and immunopathollogy in the lungs of hMPV-challenged mice and enhances the expression of Th1-type cytokines (gamma interferon and interleukin-12 [IL-12]) in lungs and regional lymph nodes. In addition, we show that levels of Th2-type cytolkines (IL-10 and IL-4) are significantly lower in hMPV CTL epitope-vaccinated mice challenged with hMPV. These results demonstrate for the first time the efficacy of an hMPV CTL epitope vaccine in the control of hMPV infection in a murine model.

IL10 and IL12B polymorphisms each influence IL-12p70 secretion by dendritic cells in response to LPS

Dendritic cells (DC) are the main producers of the cytokine IL-12p70, through which they play a direct role in the development of IFN-gamma-secreting Th1 cells, costimulation of CTL differentiation and NK-cell activation. In contrast, IL-10, which is also produced by DC, negatively regulates IL-12 production. IL-12p70 production varies widely between individuals, and several polymorphisms in the gene encoding IL-12p40 (IL12B) have been identified that influence susceptibility and severity of infectious, autoimmune and neoplastic disease. Here we show that polymorphisms not only of IL12B, but also in the IL10 promoter, influence IL-12p70 secretion by monocyte-derived DC in response to LPS. Although IL12B promoter homozygotes were prone to making more IL-12p70, presence of the IL10 high genotype restricted IL-12p70 production in these individuals. These observations provide a further genetic control of IL-12p70 regulation and emphasize the complexity of production of this cytokine. They also suggest genotypes that might influence the outcome of DC immunotherapy.

Overcoming original antigenic sin to generate new CD8 T cell IFN-gamma responses in an antigen-experienced host

The failure to mount effective immunity to virus variants in a previously virus-infected host is known as original antigenic sin. We have previously shown that prior immunity to a virus capsid protein inhibits induction by immunization of an IFN-gamma CD8(+) T cell response to an epitope linked to the capsid protein. We now demonstrate that capsid protein-primed CD4(+) T cells secrete IL-10 in response to capsid protein presented by dendritic cells, and deviate CD8+ T cells responding to a linked MHC class I-restricted epitope to reduce IFN-gamma production. Neutralizing IL-10 while delivering further linked epitope, either in vitro or in vivo, restores induction by immunization of an Ag-specific IFN-gamma response to the epitope. This finding demonstrates a strategy for overcoming inhibition of MHC class I epitopes upon immunization of a host already primed to Ag, which may facilitate immunotherapy for chronic viral infection or cancer.

RNA Loading of Leukemic Antigens into Cord Blood–Derived Dendritic Cells for Immunotherapy

The manipulation of dendritic cells (DCs) ex vivo to present tumor-associated antigens for the activation and expansion of tumor-specific cytotoxic T lymphocytes (CTLs) attempts to exploit these cells’ pivotal role in immunity. However, significant improvements are needed if this approach is to have wider clinical application. We optimized a gene delivery protocol via electroporation for cord blood (CB) CD34+ DCs using in vitro–transcribed (IVT) mRNA. We achieved > 90% transfection of DCs with IVT-enhanced green fluorescent protein mRNA with > 90% viability. Electroporation of IVT-mRNA up-regulated DC costimulatory molecules. DC processing and presentation of mRNA-encoded proteins, as major histocompatibility complex/peptide complexes, was established by CTL assays using transfected DCs as targets. Along with this, we also generated specific antileukemic CTLs using DCs electroporated with total RNA from the Nalm-6 leukemic cell line and an acute lymphocytic leukemia xenograft. This significant improvement in DC transfection represents an important step forward in the development of immunotherapy protocols for the treatment of malignancy.

Verifying data refinements using a model checker

In this paper, we consider how refinements between state-based specifications (e.g., written in Z) can be checked by use of a model checker. Specifically, we are interested in the verification of downward and upward simulations which are the standard approach to verifying refinements in state-based notations. We show how downward and upward simulations can be checked using existing temporal logic model checkers. In particular, we show how the branching time temporal logic CTL can be used to encode the standard simulation conditions. We do this for both a blocking, or guarded, interpretation of operations (often used when specifying reactive systems) as well as the more common non-blocking interpretation of operations used in many state-based specification languages (for modelling sequential systems). The approach is general enough to use with any state-based specification language, and we illustrate how refinements between Z specifications can be checked using the SAL CTL model checker using a small example.

TCR{alpha} Genes Direct MHC Restriction in the Potent Human T Cell Response to a Class I-Bound Viral Epitope

The underlying generic properties of {alpha}β TCRs that control MHC restriction remain largely unresolved. To investigate MHC restriction, we have examined the CTL response to a viral epitope that binds promiscuously to two human leukocyte Ags (HLAs) that differ by a single amino acid at position 156. Individuals expressing either HLA-B*3501 (156Leucine) or HLA-B*3508 (156Arginine) showed a potent CTL response to the 407HPVGEADYFEY417 epitope from EBV. Interestingly, the response was characterized by highly restricted TCR β-chain usage in both HLA-B*3501+ and HLA-B*3508+ individuals; however, this conserved TRBV9+ β-chain was associated with distinct TCR {alpha}-chains depending upon the HLA-B*35 allele expressed by the virus-exposed host. Functional assays confirmed that TCR {alpha}-chain usage determined the HLA restriction of the CTLs. Structural studies revealed significant differences in the mobility of the peptide when bound to HLA-B*3501 or HLA-B*3508. In HLA-B*3501, the bulged section of the peptide was disordered, whereas in HLA-B*3508 the bulged epitope adopted an ordered conformation. Collectively, these data demonstrate not only that mobile MHC-bound peptides can be highly immunogenic but can also stimulate an extremely biased TCR repertoire. In addition, TCR {alpha}-chain usage is shown to play a critical role in controlling MHC restriction between closely related allomorphs.

Linear temporal logic and z refinement

Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also in terms of its state. One means of doing this is to use Linear Temporal Logic (LTL) in which properties about the state of a system over time can be captured. This, however, raises the question of whether these properties are preserved under refinement. Refinement is observation preserving and the state of a specified system is regarded as internal and, hence, non-observable. In this paper, we investigate this issue by addressing the following questions. Given that a Z specification A is refined by a Z specification C, and that P is a temporal logic property which holds for A, what temporal logic property Q can we deduce holds for C? Furthermore, under what circumstances does the property Q preserve the intended meaning of the property P? The paper answers these questions for LTL, but the approach could also be applied to other temporal logics over states such as CTL and the mgr-calculus.