8,8-Diethoxy-5-oxobicyclo[4.2.0]oct-1-yl acetate AIDS-127711 AIDS127711 NSC177434