(5alpha,8alpha)-ergotaman