Smooth four-dimensional Poincare conjecture