A Genetically Encoded aza-Michael Acceptor for Covalent Cross-Linking of Protein–Receptor Complexes