Leaves taken by doctors during RG Kar protest to be adjusted against their official quota: AIIMS Delhi