pyrrolidine-3,4-diol