Dihydrotachysterol

See: AT 10.