20α,22R-dihydroksycholesterol does not exist