Detecting overall survival benefit derived from progression-free survival