PROBLEM TO BE SOLVED : To provide compounds for use in the treatment of human immunodeficiency virus (HIV) infection. SOLUTION : The compounds have the following Formula (I), including stereoisomers and pharmaceutically acceptable salts thereof, wherein R1, X, W, Y1, Y2, Z1, and Z4 are as defined herein. Methods associated with preparation and use of such compounds, as well as pharmaceutical compositions comprising such compounds, are also disclosed. SELECTED DRAWING : None COPYRIGHT : (C)2019, JPO&INPIT