Design and synthesis of highly reactive dienophiles for the tetrazine-trans-cyclooctene ligation.