A Bayesian sequential design using alpha spending function to control type I error. (October 2017)