(1r,4r) 7-oxo-2-azabicyclo[2.2.2]oct-5-ene and derivatives thereof