A single residue substitution in the receptor-binding domain of H5N1 hemagglutinin is critical for packaging into pseudotyped lentiviral particles

© 2012 Tang et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Background: Serological studies for influenza infection and vaccine response often involve microneutralization and hemagglutination inhibition assays to evaluate neutralizing antibodies against human and avian influenza viruses, including H5N1. We have previously characterized lentiviral particles pseudotyped with H5-HA (H5pp) and validated an H5pp-based assay as a safe alternative for high-throughput serological studies in BSL-2 facilities. Here we show that H5-HAs from different clades do not always give rise to efficient production of H5pp and the underlying mechanisms are addressed. Methodology/Findings: We have carried out mutational analysis to delineate the molecular determinants responsible for efficient packaging of HA from A/Cambodia/40808/2005 (H5Cam) and A/Anhui/1/2005 (H5Anh) into H5pp. Our results demonstrate that a single A134V mutation in the 130-loop of the receptor binding domain is sufficient to render H5Anh the ability to generate H5Anh-pp efficiently, whereas the reverse V134A mutation greatly hampers production of H5Cam-pp. Although protein expression in total cell lysates is similar for H5Anh and H5Cam, cell surface expression of H5Cam is detected at a significantly higher level than that of H5Anh. We further demonstrate by several independent lines of evidence that the behaviour of H5Anh can be explained by a stronger binding to sialic acid receptors implicating residue 134. Conclusions: We have identified a single A134V mutation as the molecular determinant in H5-HA for efficient incorporation into H5pp envelope and delineated the underlying mechanism. The reduced binding to sialic acid receptors as a result of the A134V mutation not only exerts a critical influence in pseudotyping efficiency of H5-HA, but has also an impact at the whole virus level. Because A134V substitution has been reported as a naturally occurring mutation in human host, our results may have implications for the understanding of human host adaptation of avian influenza H5N1 virusesThis work was supported by grants from the Research Fund for the Control of Infectious Diseases of Hong Kong (RFCID#08070972), the Area of Excellence Scheme of the University Grants Committee (grant AoE/M-12/-06 of the Hong Kong Special Administrative Region, China), the French Ministry of Health, and the RESPARI project of the Institut Pasteur International Network

Cross-Neutralizing Antibodies to Pandemic 2009 H1N1 and Recent Seasonal H1N1 Influenza A Strains Influenced by a Mutation in Hemagglutinin Subunit 2

Pandemic 2009 H1N1 influenza A virus (2009 H1N1) differs from H1N1 strains that circulated in the past 50 years, but resembles the A/New Jersey/1976 H1N1 strain used in the 1976 swine influenza vaccine. We investigated whether sera from persons immunized with the 1976 swine influenza or recent seasonal influenza vaccines, or both, neutralize 2009 H1N1. Using retroviral pseudovirions bearing hemagglutinins on their surface (HA-pseudotypes), we found that 77% of the sera collected in 1976 after immunization with the A/New Jersey/1976 H1N1 swine influenza vaccine neutralized 2009 H1N1. Forty five percent also neutralized A/New Caledonia/20/1999 H1N1, a strain used in seasonal influenza vaccines during the 2000/01–2006/07 seasons. Among adults aged 48–64 who received the swine influenza vaccine in 1976 and recent seasonal influenza vaccines during the 2004/05–2008/09 seasons, 83% had sera that neutralized 2009 H1N1. However, 68% of age-matched subjects who received the same seasonal influenza vaccines, but did not receive the 1976 swine influenza vaccine, also had sera that neutralized 2009 H1N1. Sera from both 1976 and contemporary cohorts frequently had cross-neutralizing antibodies to 2009 H1N1 and A/New Caledonia/20/1999 that mapped to hemagglutinin subunit 2 (HA2). A conservative mutation in HA2 corresponding to a residue in the A/Solomon Islands/3/2006 and A/Brisbane/59/2007 H1N1 strains that circulated in the 2006/07 and 2007/08 influenza seasons, respectively, abrogated this neutralization. These findings highlight a cross-neutralization determinant influenced by a point mutation in HA2 and suggest that HA2 may be evolving under direct or indirect immune pressure

The European Solar Telescope

The European Solar Telescope (EST) is a project aimed at studying the magnetic connectivity of the solar atmosphere, from the deep photosphere to the upper chromosphere. Its design combines the knowledge and expertise gathered by the European solar physics community during the construction and operation of state-of-the-art solar telescopes operating in visible and near-infrared wavelengths: the Swedish 1m Solar Telescope, the German Vacuum Tower Telescope and GREGOR, the French Télescope Héliographique pour l’Étude du Magnétisme et des Instabilités Solaires, and the Dutch Open Telescope. With its 4.2 m primary mirror and an open configuration, EST will become the most powerful European ground-based facility to study the Sun in the coming decades in the visible and near-infrared bands. EST uses the most innovative technological advances: the first adaptive secondary mirror ever used in a solar telescope, a complex multi-conjugate adaptive optics with deformable mirrors that form part of the optical design in a natural way, a polarimetrically compensated telescope design that eliminates the complex temporal variation and wavelength dependence of the telescope Mueller matrix, and an instrument suite containing several (etalon-based) tunable imaging spectropolarimeters and several integral field unit spectropolarimeters. This publication summarises some fundamental science questions that can be addressed with the telescope, together with a complete description of its major subsystems

Integrating Formal Schedulability Analysis into a Verified OS Kernel

International audienceFormal verification of real-time systems is attractive because these systems often perform critical operations. Unlike non real-time systems, latency and response time guarantees are of critical importance in this setting, as much as functional correctness. Nevertheless, formal verification of real-time OSes usually stops the scheduling analysis at the policy level: they only prove that the scheduler (or its abstract model) satisfies some scheduling policy. In this paper, we go further and connect together Prosa, a verified schedulability analyzer, and RT-CertiKOS, a verified single-core sequential real-time OS kernel. Thus, we get a more general and extensible schedulability analysis proof for RT-CertiKOS, as well a concrete implementation validating Prosa models. It also showcases that it is realistic to connect two completely independent formal developments in a proof assistant