Какое соединение образуется при фотохимической изомеризации дегидрохолестерина? Приведите уравнение реакции.