(R3a,R7a)-(1,3-dimethyl)-2-phenyl-2,3,3a,4,5,6,7,7a-octahydro-1H-1,3,2-benzodiazaphosphole 2-oxide