3-cyclopropyl-2-propan-2-ylpyrrolidin-3-ol (HCID 178440016)|化工社