What should HDFC AMC investors do?