(–)-ircinianin