Bacteriohopanetetrol from chemical degradation of an oil shale kerogen