Minor and trace sterols in marine invertebrates. 26. Isolation and structure elucidation of nine new 5.alpha.,8.alpha.-epidoxy sterols from four marine organisms