α-Pyrrolidinoisohexaphenone