α-Pyrrolidinopentiothiophenone