4-ho-det synthesis