(2R,4'R,8a'R)-1-叔丁基4'-甲基6'-氧代六氢螺[吡咯烷-2,7'-吡咯并[2,3-1-b] [1,3]噻嗪]-1,4'-二羧酸酯