Über die Einwirkung von Benzopersäure auf Ergosterin und einige seiner Derivate