1,8-Diazabiciclo(5.4.0)undec-7-eno