6-OXA-3-phosphabicyclo[3.1.0]hexane 3-oxide derivatives