Regularized incomplete beta function