TDBzcholine is a diazirine analog of acetylcholine that can be used to label the nicotinic acetylcholine receptor.