Japanese encephalitis virus infection of mouse cell lines: ability to prime mice for generation of virus specific cytotoxic T lymphocytes and differences in CTL recognisable viral determinants

Ten different mouse cell lines were examined for Japanese encephalitis virus (JEV) infection in vitro and then tested for their ability to generate virus specific cytotoxic T lymphocytes (CTL). Among all cell lines examined, Neuro La (a neuroblastoma) was readily infected with JEV as examined by immunofluorescence and viral replication. Among other cells, P388D1, RAW 264.7 (Macrophage origin), Sp2/0 (B-cell Hybridoma), YAC-1 (T-cell lymphoma), and L929 (Fibroblast) were semipermissive to JEV infection. The cytopathic effects caused by progressive JEV infection varied from cell line to cell line. In the case of YAC-1 cells long-term viral antigen expression was observed without significant alterations in cell viability. Intermediate degrees of cytopathicity are seen in RAW 264.7 and L929 cells while infection of PS, Neuro 2a, P388D1 and Sp2/0 caused major viability losses. All infected cell lines were able to prime adult BALB/c (H-2(d)) mice for the generation of secondary JEV specific CTL. In contrast to YAC-1, the permissive neuroblastoma cell line Neuro 2a (H-2K(k)D(d)) was found to be least efficient in its ability to stimulate anti-viral CTL generation. Cold target competition studies demonstrated that both Neuro 2a and YAC-1 (H-2K(k)D(d)) cells expressed similar viral determinants that are recognised by CTL, suggesting that the reason for the lower ability of Neuro 2a to stimulate anti-viral CTL was not due to lack of viral CTL determinants. These findings demonstrate that a variety of mouse cell lines can be infected with Japanese encephalitis virus, and that these infected cells could be utilised to generate virus specific CTL in BALB/c mice.

基于CTL的循环优化变换描述方法

TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述.从依赖分析的角度对重排序循环优化变换加以考查,并以循环逆转和循环交换为例阐述了其形式化描述方法.

Multi-Modal CTL:Completeness, Complexity, and an Application

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E and A where d denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. © 2009 Springer Science+Business Media B.V.

Isolierung und Charakterisierung der ER-residenten Aminopeptidase ERMP1 und Untersuchung ihrer Funktion in der Prozessierung MHC I restringierter CTL Epitope

Die effiziente Generierung von Peptid-Epitopen aus zelleigenen oder viralen Proteinen für die Präsentation auf „Major Histocompatibility Complex I“ (MHC I) Molekülen ist essentiell für die Aktivierung des adaptiven Immunsystems und die Effektorfunktion der CD8+ zytotoxischen T-Zellen (CTLs). CTLs erkennen diese Peptide in Kontext mit MHC I Molekülen über ihren spezifischen T-Zellrezeptor (TCR). Die Generierung dieser Epitope ist das Resultat eines komplexen proteolytischen Prozesses, der im Zytosol und im endoplasmatischen Retikulum (ER) stattfindet. Im Zytosol generiert das Proteasom N-terminal verlängerte Epitop-Vorläufer. Diese werden durch weitere zytosolische Proteasen abgebaut, es sei denn, sie werden durch den „transporter associated with antigen processing“ (TAP) in das ER transportiert. Dort werden sie durch Aminopeptidasen getrimmt, um den Bindungsvoraussetzungen der MHC I Moleküle zu genügen. Im murinen System ist die „ER aminopeptidase associated with antigen processing“ (ERAAP) die bislang einzige beschriebene Aminopeptidase, die dieses N-terminale Trimming von CTL Epitopen vermitteln kann. Das Profil der proteolytischen Aktivität in angereichertem murinen ER kann jedoch nicht allein durch die Aktivität von ERAAP erklärt werden, was auf die Anwesenheit weiterer Aminopeptidasen mit einer potentiellen Funktion in der Antigenprozessierung hinweist. In dieser Arbeit konnte die immunologisch bislang noch nicht beschriebene Aminopeptidase ERMP1 (endoplasmic reticulum metallopeptidase 1) im murinen ER identifiziert werden. Nach Aufreinigung muriner Mikrosomen und anschließender Anionenaustausch-Chromatographie wurden die gesammelten Fraktionen mit fluorogenen Substraten auf Aminopeptidase-Aktivität getestet. Durch massenspektrometrische Analyse konnten in den beobachteten Peaks die schon beschriebenen Aminopeptidasen ERAAP, die „insulin regulated aminopeptidase“ IRAP und die immunologisch bislang nicht beschriebene Aminopeptidase ERMP1 identifiziert werden. Durch Fluoreszenzmikroskopie konnte die intrazelluläre Lokalisation von ERMP1 im ER durch Kolokalisation mit TAP verifiziert werden. Wie viele Komponenten des MHC I Prozessierungsweges wird auch die Expression von ERMP1 durch IFN-γ stimuliert. Dies macht ERMP1 zu einer potentiellen zweiten trimmenden Aminopeptidase im murinen ER. Überexpression von ERMP1 hat einen allelspezifischen Einfluss auf die globale MHC I Präsentation auf der Zelloberfläche und durch Überexpression und shRNA vermitteltes gene silencing konnte außerdem ein epitopspezifischer Effekt nachgewiesen werden. Da N-terminales Trimming durch ERAAP mit der Evasion von Tumoren und veränderter Immundominanz assoziiert wird, ist die detaillierte Charakterisierung der Aminopeptidase ERMP1 ein wichtiger Schritt zum Verständnis der MHC I Antigen-Prozessierung und der Generierung von CTL Epitopen im ER.

In vitro characterization of human AML-reactive CTL clones generated from the naive subset of healthy donors and adoptive transfer into leukemia-engrafted NSG mice

Acute myeloid leukemia (AML) is a very aggressive cancer of the hematopoietic system. Chemotherapy and immunotherapeutical approaches including hematopoietic stem cell transplantation (HSCT) and donor lymphocyte infusion (DLI) are the only curative options available. The beneficial graft-versus-leukemia (GVL) effect of cellular immunotherapy is mostly mediated by donor-derived CD8+ T lymphocytes that recognize minor histocompatibility antigens (mHags) and leukemia-associated antigens (LAAs) presented on the surface of AML blasts (Falkenburg et al. 2008; Kolb 2008). A main complication is graft-versus-host disease (GVHD) that can be induced when cytotoxic T lymphocytes (CTLs) recognize broadly expressed antigens. To reduce the risk of GVHD, specific allogeneic T-cell therapy inducing selective GVL responses could be an option (Barrett & Le Blanc 2010; Parmar et al. 2011; Smits et al. 2011). This requires efficient in vitro strategies to generate AML-reactive T cells with an early differentiation phenotype as well as vigorous effector functions and humanized mouse models to analyze the anti-leukemic potential of adoptively transferred T cells in vivo. In this study, AML-reactive CTL clones and oligoclonal T-cell lines could be reliably generated from the naive subset of healthy HLA-class I-identical donors by stimulation with primary AML blasts in mini-mixed-lymphocyte / leukemia cultures (MLLCs) in eight different patient / donor pairs. These CTLs were promising candidates for cellular immunotherapy because of their relatively early differentiation phenotype and strong proliferative and lytic capabilities. The addition of the common γ-chain cytokine IL-21 to the stimulation protocol enabled more precursors to develop into potent leukemia-reactive CTLs, presumably by its beneficial effects on cell survival and antigen-specific proliferation during the first weeks of cultures. It also strengthened the early-stage phenotype. Three long-term cultured CTLs exemplarily transferred into leukemia-engrafted immunodeficient NSG mice mediated a significant reduction of the leukemic burden after a single transfusion. These results demonstrate that CTL clones with reactivity to patient-derived AML blasts can be isolated from the naive compartment of healthy donors and show potent anti-leukemic effects in vivo. The herein described allo-MLLC approach with in vitro “programmed” naive CTL precursors independent of a HSCT setting is a valuable alternative to the conventional method of isolating in vivo primed donor CTLs out of patients after transplantation (Kloosterboer et al. 2004; Warren et al. 2010). This would make leukemia-reactive CTLs already available at the time point of HSCT, when residual leukemia disease is minimal and the chances for complete leukemia eradication are high. Furthermore, leukemia-reactive CTLs effectively expanded by this in vitro protocol can be used as screening populations to identify novel candidate LAAs and mHags for antigen-specific immunotherapy.

Design, expression, and processing of epitomized hepatitis C virus-encoded CTL epitopes

Hepatitis C virus (HCV) vaccine efficacy may crucially depend on immunogen length and coverage of viral sequence diversity. However, covering a considerable proportion of the circulating viral sequence variants would likely require long immunogens, which for the conserved portions of the viral genome, would contain unnecessarily redundant sequence information. In this study, we present the design and in vitro performance analysis of a novel "epitome" approach that compresses frequent immune targets of the cellular immune response against HCV into a shorter immunogen sequence. Compression of immunological information is achieved by partial overlapping shared sequence motifs between individual epitopes. At the same time, sequence diversity coverage is provided by taking advantage of emerging cross-reactivity patterns among epitope variants so that epitope variants associated with the broadest variant cross-recognition are preferentially included. The processing and presentation analysis of specific epitopes included in such a compressed, in vitro-expressed HCV epitome indicated effective processing of a majority of tested epitopes, although re-presentation of some epitopes may require refined sequence design. Together, the present study establishes the epitome approach as a potential powerful tool for vaccine immunogen design, especially suitable for the induction of cellular immune responses against highly variable pathogens.

CTL induction by cross-priming is restricted to immunodominant epitopes

CTL are induced by two pathways, i.e. direct priming, where tumor cells present tumor antigens to naïve specific CTL, and cross-priming, where professional APC cross-present captured tumor antigens to CTL. Here, we examined direct priming versus cross-priming after immunizing (H-2(b) x H-2(d)) F1 mice with either H-2(b) or H-2(d) positive tumor cells transfected with the GP or nucleoprotein (NP) of lymphocytic choriomeningitis virus (LCMV). Cross-priming was observed for the immunodominant epitopes LCMV-gp33 and -np118, although direct induction resulted in higher CTL frequencies. In contrast, CTL specific for the subdominant epitopes LCMV-gp283 or -np396 were induced only if epitopes were presented directly on MHC class I molecules of the immunizing cell. The broader repertoire and the higher CTL frequencies induced after vaccination with haplotype-matched tumor cells resulted in more efficient anti-tumor and antiviral protection. Firstly, our results indicate that certain virus and tumor antigens may not be detected by CD8(+) T cells because of impaired cross-priming. Secondly, efficient cross-priming contributes to the immunodominant nature of a tumor-specific CTL epitope. Thirdly, vaccine strategies using autologous or syngenic antigen-expressing cells induce a broader repertoire of tumor-specific CTL and higher CTL frequencies.

CTL recognition of a bulged viral peptide involves biased TCR selection

MHC class I molecules generally present peptides of 8-10 aa long, forming an extended coil in the HLA cleft. Although longer peptides can also bind to class I molecules, they tend to bulge from the cleft and it is not known whether the TCR repertoire has sufficient plasticity to recognize these determinants during the antiviral CTL response. In this study, we show that unrelated individuals infected with EBV generate a significant CTL response directed toward an HLA-B*3501-restricted, 11-mer epitope from the BZLF1 Ag. The 11-mer determinant adopts a highly bulged conformation with seven of the peptide side chains being solvent-exposed and available for TCR interaction. Such a complex potentially creates a structural challenge for TCR corecognition of both HLA-B*3501 and the peptide Ag. Surprisingly, unrelated B*3501 donors recognizing the 11-mer use identical or closely related alpha beta TCR sequences that share particular CDR3 motifs. Within the small number of dominant CTL clonotypes observed, each has discrete fine specificity for the exposed-side chain residues of the peptide. The data show that bulged viral peptides are indeed immunogenic but suggest that the highly constrained TCR repertoire reflects a limit to TCR diversity when responding to some unusual MHC peptide ligands.

A polytope DNA vaccine elicits multiple effector and memory CTL responses and protects against human papillomavirus 16 E7-expressing tumour

Vaccine-induced CD8 T cells directed to tumourspecific antigens are recognised as important components of protective and therapeutic immunity against tumours. Where tumour antigens have pathogenic potential or where immunogenic epitopes are lost from tumours, development of subunit vaccines consisting of multiple individual epitopes is an attractive alternative to immunising with whole tumour antigen. In the present study we investigate the efficacy of two DNA-based multiepitope('polytope') vaccines containing murine (H-2(b)) and human (HLA-A* 0201)-restricted epitopes of the E7 oncoprotein of human papillomavirus type 16, in eliciting tumour-protective cytotoxic T-lymphocyte (CTL) responses. We show that the first of these polytopes elicited powerful effector CTL responses ( measured by IFN-gamma ELISpot) and long-lived memory CTL responses ( measured by functional CTL assay and tetramers) in immunised mice. The responses could be boosted by immunisation with a recombinant vaccinia virus expressing the polytope. Responses induced by immunisation with polytope DNA alone partially protected against infection with recombinant vaccinia virus expressing the polytope. Complete protection was afforded against challenge with an E7-expressing tumour, and reduced growth of nascent tumours was observed. A second polytope differing in the exact composition and order of CTL epitopes, and lacking an inserted endoplasmic reticulum targeting sequence and T-helper epitope, induced much poorer CTL responses and failed to protect against tumour challenge. These observations indicate the validity of a DNA polytope vaccine approach to human papillomavirus E7 - associated carcinoma, and underscore the importance of design in polytope vaccine construction.

A Study of pH Manipulation on Tumor Proliferation and the CTL Response

Adoptive Cell Transfer (ACT) Therapy is a cancer treatment that enhances and utilizes the body’s own immune system. However, this treatment has had limited success in clinical trials. We hypothesized that this is due to the immunosuppressive, acidic microenvironment of cancer tumors. We tested the effects of acidic, neutral, and basic environments in vitro on cytotoxic T lymphocyte (CTL) survival, activation, migration and killing ability and on cancer cell survival. We found that CTLs have most optimum survival, activation, and migration in a neutral environment, while the optimal extracellular conditions for EG-7 lymphoma are slightly acidic and B16-OVA melanoma survives best in physiological conditions. Future research should further study the killing ability of T cells in the three different environments and look to move to in vivo experiments.

Privacy compliance verification in cryptographic protocols

To provide privacy protection, cryptographic primitives are frequently applied to communication protocols in an open environment (e.g. the Internet). We call these protocols privacy enhancing protocols (PEPs) which constitute a class of cryptographic protocols. Proof of the security properties, in terms of the privacy compliance, of PEPs is desirable before they can be deployed. However, the traditional provable security approach, though well-established for proving the security of cryptographic primitives, is not applicable to PEPs. We apply the formal language of Coloured Petri Nets (CPNs) to construct an executable specification of a representative PEP, namely the Private Information Escrow Bound to Multiple Conditions Protocol (PIEMCP). Formal semantics of the CPN specification allow us to reason about various privacy properties of PIEMCP using state space analysis techniques. This investigation provides insights into the modelling and analysis of PEPs in general, and demonstrates the benefit of applying a CPN-based formal approach to the privacy compliance verification of PEPs.

Human Kallikrein 4 signal peptide induces cytotoxic T cell responses in healthy donors and prostate cancer patients.

Immunotherapy is a promising new treatment for patients with advanced prostate and ovarian cancer, but its application is limited by the lack of suitable target antigens that are recognized by CD8+ cytotoxic T lymphocytes (CTL). Human kallikrein 4 (KLK4) is a member of the kallikrein family of serine proteases that is significantly overexpressed in malignant versus healthy prostate and ovarian tissue, making it an attractive target for immunotherapy. We identified a naturally processed, HLA-A*0201-restricted peptide epitope within the signal sequence region of KLK4 that induced CTL responses in vitro in most healthy donors and prostate cancer patients tested. These CTL lysed HLA-A*0201+ KLK4 + cell lines and KLK4 mRNA-transfected monocyte-derived dendritic cells. CTL specific for the HLA-A*0201-restricted KLK4 peptide were more readily expanded to a higher frequency in vitro compared to the known HLA-A*0201-restricted epitopes from prostate cancer antigens; prostate-specific antigen (PSA), prostate-specific membrane antigen (PSMA) and prostatic acid phosphatase (PAP). These data demonstrate that KLK4 is an immunogenic molecule capable of inducing CTL responses and identify it as an attractive target for prostate and ovarian cancer immunotherapy.

The porcine circovirus type 1 capsid gene promoter improves antigen expression and immunogenicity in a HIV-1 plasmid vaccine

Background. One of the promising avenues for development of vaccines against Human immunodeficiency virus type 1 (HIV-1) and other human pathogens is the use of plasmid-based DNA vaccines. However, relatively large doses of plasmid must be injected for a relatively weak response. We investigated whether genome elements from Porcine circovirus type 1 (PCV-1), an apathogenic small ssDNA-containing virus, had useful expression-enhancing properties that could allow dose-sparing in a plasmid vaccine. Results. The linearised PCV-1 genome inserted 5' of the CMV promoter in the well-characterised HIV-1 plasmid vaccine pTHgrttnC increased expression of the polyantigen up to 2-fold, and elicited 3-fold higher CTL responses in mice at 10-fold lower doses than unmodified pTHgrttnC. The PCV-1 capsid gene promoter (Pcap) alone was equally effective. Enhancing activity was traced to a putative composite host transcription factor binding site and a "Conserved Late Element" transcription-enhancing sequence previously unidentified in circoviruses. Conclusions. We identified a novel PCV-1 genome-derived enhancer sequence that significantly increased antigen expression from plasmids in in vitro assays, and improved immunogenicity in mice of the HIV-1 subtype C vaccine plasmid, pTHgrttnC. This should allow significant dose sparing of, or increased responses to, this and other plasmid-based vaccines. We also report investigations of the potential of other circovirus-derived sequences to be similarly used. © 2011 Tanzer et al; licensee BioMed Central Ltd.