On the maximum density of graphs which have no subcontraction to K3