Isolation of sterols with cyclopropyl-containing side chains from the cultured marine alga