Finite groups with K5-free prime graphs