Mazagon Dock shares fall over 4% on Q1 earnings miss but Antique sees retest of record highs