A bag contains 10 red stars and 7 blue stars. John randomly draws 4 stars from the bag. He does not replace the stars after each draw. What is the probability that he draws 1 red star and 3 blue stars?