alpha-Pyrrolidinoisohexaphenone