1,3,5,7‐Tetrazocine