Skew-commutator relations and Gr?bner-Shirshov basis of quantum group of type F4