Anti HIV-1 Agents 2. Discovery of Dibenzofurans as New HIV-1 Inhibitors In Vitro

Ten dibenzofurans were synthesized and evaluated as human immunodeficiency virus (HIV)-1 inhibitors in vitro for the first time. Among these compounds, compounds 1, 6, 7 and 8 demonstrated significant anti-HIV-1 activity. Especially compound 1 showed the

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

A mitogenomic perspective on the ancient, rapid radiation in the Galliformes with an emphasis on the Phasianidae

Background: The Galliformes is a well-known and widely distributed Order in Aves. The phylogenetic relationships of galliform birds, especially the turkeys, grouse, chickens, quails, and pheasants, have been studied intensively, likely because of their close association with humans. Despite extensive studies, convergent morphological evolution and rapid radiation have resulted in conflicting hypotheses of phylogenetic relationships. Many internal nodes have remained ambiguous. Results: We analyzed the complete mitochondrial (mt) genomes from 34 galliform species, including 14 new mt genomes and 20 published mt genomes, and obtained a single, robust tree. Most of the internal branches were relatively short and the terminal branches long suggesting an ancient, rapid radiation. The Megapodiidae formed the sister group to all other galliforms, followed in sequence by the Cracidae, Odontophoridae and Numididae. The remaining clade included the Phasianidae, Tetraonidae and Meleagrididae. The genus Arborophila was the sister group of the remaining taxa followed by Polyplectron. This was followed by two major clades: ((((Gallus, Bambusicola) Francolinus) (Coturnix, Alectoris)) Pavo) and (((((((Chrysolophus, Phasianus) Lophura) Syrmaticus) Perdix) Pucrasia) (Meleagris, Bonasa)) ((Lophophorus, Tetraophasis) Tragopan))). Conclusions: The traditional hypothesis of monophyletic lineages of pheasants, partridges, peafowls and tragopans was not supported in this study. Mitogenomic analyses recovered robust phylogenetic relationships and suggested that the Galliformes formed a model group for the study of morphological and behavioral evolution.

Anti Human Immunodeficiency Virus-1 (HIV-1) Agents 3. Synthesis and in Vitro Anti-HIV-1 Activity of Some N-Arylsulfonylindoles

In order to find compounds with superior anti human immunodeficiency virus type 1 (HIV-1) activity, twelve simple N-arylsulfonylindoles (3a-1) were synthesized and preliminarily evaluated as HIV-1 inhibitors in vitro for the first time. Several compounds

Anti-human Immunodeficiency Virus-1 Constituents of the Bark of Poncirus trifoliata

A total of 36 compounds (1-36) were obtained from the stem bark of Poncirus trifoliata including three new prenylated flavonoids, (-)-5,4'-dihydroxy-7,8-[(3 '',4 ''-cis-dihydroxy-3 '',4 ''-dihydro)-2 '',2 ''-dimethylpyrano]-flavone (1), (-)-5,4'-dihydroxy-7,8-[(3 ''-hydroxy-4 ''-one)-2 '',2 ''-dimethylpyrano]-flavone (2), and (-)-5,4'-dihydroxy-7,8-[(cis-3 ''-hydroxy-4 ''-ethoxy-3 '',4 ''-dihydro)-2 '',2 ''-dimethylpyrano]-flavone (3). The new structures were elucidated by means of spectroscopic methods. Compounds 1-20 were evaluated for their anti-human immunodeficiency virus-1 (HIV-1) activity, in which 2 showed significant anti-HIV-1 activity with high therapeutic index (T1) of 143.65.