One-Pot Synthesis of Pyrazinothienopyrimidinones (Synfacts, 2007)