ASEAN manufacturing sector grows modestly in July