The internal structure of HOD^L[x] up to its Woodin - Yizheng Zhu (2017)